Just for the record, in case anybody else encounters the same "problem": Not sure what exactly fixed it but now it displays the scrollbar correctly. I suspect it was the reboot, although that makes not much sense...