Commit 1.4.2

Files deleted by GitHub...