minor additions in preparation for MO-next