Fixes a small mistake