Fixes typo in 87e3ce5