Make version number 0.9.3 (instead of 0.9.3.0) for consistency with earlier releases.