WIP GITHUB FIX

This fixes github. This may still be reverted.