Correct typo/syntax error in 031eb13e