bug fixes in 4.2.13