Correct Travis Link and Fix PrettyPrint Bug