Minor bug fix, and guessed assertion.
incr ver, welcome msg.