Fixed a trivial error