Bugfix: corrected lower bound