more bug fixes; new version 4.9.12