Bugfixes: github calculations were wrong.