Fix bug introduced in b7766985.