Fixed a lingering bug