Fix formatting on OS X