I might drop him an email. That's a bit embarrassing.

No need. Someone's already filed that particular bug.