Cleaned up after randomProgrammers push