Fix #6. Check version increase.

More consistent error messages.