Fixed a subtle bug.