Correct syntax fault