Review comments, see #10.