Fix syntax error introduced by d2c5cef6ee32cf6423aba88b13faca0aa30545b5.