Fixed syntax error introduced in an earlier commit