doc: minor fix to names