- fix showing of brief comments in documentation popup (what broke this?)