Version 1.4.2

Bugfixes, documentation improvements