Changelog: fixed a problem in upper bound computation