Fixes a small semantic issue