small correction to #5