Bumped to version 7.1.2