or return false, like in line 523.

but I think changing this to return an int might be more consistent...