version bump: 1.4.2