hopeful fix for GitHub #1
this should fix #4