might have added a subtle bug ;-)