Minor cleanup (pull request #31).