7.1.7

Fixed a minor bug in the previous release.

Mandatory update.