Minor edits for v0.7