Fixed issue 872 and added coverage.xml to gitignore