Super quick-fix to version number 1.4.2