(core - try to fix failing doctest on travis)

Ignore-this: 5f51227faae51e4c6e39016d090e0405

darcs-hash:20130925030913-3a4db-4398b6c2a05cfc9e90a17c015796a2a051e9c4c2