Oops! I meant to say that the problem in _Update Manager_ is fixed too! :) Already made a note of it under that bug report. -- Scroll bars do not move in bug-buddy "Show details" area https://launchpad.net/bugs/65591