Fixes a syntax mistake