Fix syntax. #3470.