small docker fixes