Run doctests in travis

This actually showed that one of the doctests was wrong.