syntax fix (#13542)