Fix bug in disallowedDockingCollides (SVN:5698)

This is not the same as 94178d5bbd in master, as that commit uses the new HPvectors.