Extra semicolon in 4.1.5 (function strange)

[martin-henz]

There is an extra semicolon in this function in section 4.1.5:

function strange(f) {
    return halts(f, f)
           ? run_forever();
           : "halted";
}

should be:

function strange(f) {
    return halts(f, f)
           ? run_forever()
           : "halted";
}