Fixes bug in FuzzyTest