Fixes #3: Really fix scrolling for infoboxes