manually fixing github hiccup