Fixed bug in filtering UI where Filter section wouldn't scroll if the list of options was too large.