Fix typo in 19aeaa4db0