Correct syntax error in currently unused code