Tiny documentation fix for remake_add_documentation()