doc: pedantic