Fixed a nonbug