• Several small bug fixes and improvements.