little fix to the previous commit...