Fix typo in 54d79ae751eb4dfc7205dbbec48bb76ce1c8df19