fixed a lingering bug uncovered by IP7