Fixes a bug