small correction left in from debugging