Version 0.07: code fixes