refinement; fix syntax error