added a regression found with QuickCheck tests