Fix bug introduced in 529281272a807f06996666360ff82f8cda46c2de