minor doc tweaks to say 'not commutative' where that seems to have been intended