bug fixes in mid-July