release 0.7.1, better late than never ;)