Added a fixme for an edge case detected by QuickCheck.
Adding changelog