Fix syntax errors in #772