fixed a bug in that last check-in.