Fixing string formatting so that it plays nice with makemessages