minor bugfixes/typos