fixes for github