Small bug fixes
Dump version