Minor details in Known Bugs section