small fix to dockerfile