Fixup documentation for custom ticket numbers