I fixed those, too, in the last push.