more small fixes to dock1010