Fix bug introduced in a bugfix