minor github update