fixing github goof