strange behavior of github...