minor tweaks to dockerfile