• Many minor bug fixes