docker proper