Good catch -- this one slipped through and is an important fix.