Couple more tweaks for AjaxDocumentation class