#617 minor docker updates