Version 0.0.7: bug fix.