doc: minor fix - more a push test