update: fix and add test for dropping upper bound