Fix bug introduced in db91d75c1ece71e4c42.