doc: fixes typo; #412