Fix issues found after pushing to Github.