Release 0.7: minor bug fix