Fix typo in #3cfbf8b13511ddf82f64e1cac42ba03e2cac11cf