Fix syntax typo in previous commit a99a719e.