Ever so slight documentation cleanup