Bug fix release 3.9.2