Bug number shouldn't appear in ddocs!