fixes for GitHub