1.4.02 bugfix release