Fix coding standards

Not sure this is actually necessary?