Fix the badge number, which would be sent as 0 even if it wasn't set.

The only issue I have with this method is that you can't catch
incorrect badge values (such as strings) at compile-time. I need
to look into a way to do that...