In #956.
Merge branch 'master' of ssh://core.linn.co.uk/home/git/ohTopology