bumping version number (just to distinguish dev from release version).
Formatting adjustment.