Version 0.4.2

- Make sure that changes are also included in the source files