Fix stupid typo after de98d9fefb94137492ad8696c9da8c6289c171ea.