Some changes for github bugtracker, some typo fixes.