Fix formatting for quickcheck tests.