Compilation fix: Removed String.format() call.

I have no idea what kind of compiler is happy with an enum and not
String.format(), given they were both introduced in Java 1.5, but
whatever.