Bug fix release 2.4.2.