Some corrections to mosh