keeping github happy