little fix to previous commit