Formatting, reducing input size for travis testing.