Fixed a typo in a5aee5d220.