Fix bug introduced by b6be5c272349ffdad0b9