Correction to "A Practical Approach to Programming with Assertions"