Fix the syntax errors introduced in the previous commit