Fix runjson name in documentation