minor bugs and typos