Release version 1.4.2

This releases #19.