Version bump to 0.7.1, reflecting new exported module.