Fix bug introduced in e83fc2c48c8bf9779871e0e1c4d6e20c79f8eb9d