More Docker deployment fixes.