The following bug fixes are included in patch 13: