fix a small error in the last check-in