Minor fixes reported by Mark

Fix typos reported in #354