Another docker tweak