Fixes a bug
Fixes a bug