Repaired formatting issues found by Travis CI