Some micro-fixes for readme