small correction on and-table