Mouse Scrolling doesn't work in Manual

Using 2.7.2 build 17 on Gio, Mouse scrolling doesn't work in the Manual.

Thanks.