whitespace
properly named quickcheck tests + hunit tests