bug fixes (9.3)