Documentation typo
Merge branch 'dev' of github.com:intermine/intermine into dev