Fixed up formatting errors that caused travis-ci problems