Oops, bad ordering of const