Fix syntax error introduced by f027462157c2b1399543f05b5ce2c32ad952351e