Fixed the test1 file.  Failed at QuickCheck.