The following bug fixes are included in patch 12: