Revert "trying to make my github happy :("

This reverts commit 9701b372aff923caabce55ba7a57527291a50861.