A few code corrections.