Cleanup for github push