Fix simple typos from benja-M-A remarks