Commit to fix pull request 214.