Fix bug introduced in 624ef6d