This update contains bug fixes and small improvements.