hopefully fixes annoying github issue