Release v1.7.1, fixing documentation