Fixed tiny typo introduced in 59e0b47dbc15e05fef8527ae21a88948eb9dccb