Correct an bug introduced by 7d6eabf when fixing #175