update version to 9.4.2