Fixed compilation error and made asteroids red when they're mined out.