Close #145.

See the comment.