Fix bug introduced when fixing #101