Some finishing touches before releasing 0.7.0