deal with Randy's correction work-around