Fixed a trivial bug.
Fixed a trivial naming issue.