My ABS light came on the other day after a very hard drive in very hard rain. When I parked in the garage, I heard the ABS pump(?) still running. I disconnected the battery and reconnected it and the problem seems to have gone away. I wonder if these occurrences are in any way related/similar. If it happens again, check to see if the pump stays running after the car is shut off.

CJ