Fix bug introduced in 9a5fe0f91c4855cf85b2710f3f19b6eb1a6e430a