Minor formatting fix to allow compilation without warnings on OSX

Part two of the #3405 bugfix.