Small corrections (according the bugs.txt file)