Correction to "A Theorem in Database Concurrency Control"