Fix note about docker in contributing guide