Misc small improvements and typos