Updated "Known problems and bugs" section.