fixes, typos, etc.