small fix to previous commit