Fix dummy syntax problem