Another trivial fix on the *same* page. o_O