Revert "Minor dev work"

This reverts commit fddad0342a2782f16f0e72fe797d89b66ecb1a02.
Fix weird git behavior