Fixed a trivial bug.