Minor review comments, see #1.