small corrections to various bits.