bug fixes / typos