bump to version 1.4.2 for minor bugfix