Fix #619!  version should have three decimal places