removed wrong github name from comment