Add some known bugs in the TODO file.