Fix a bug introduced in commit e108efd285b34d5a28e