[Fixes fixing a bug