Release of version 3.7.1.