Added HISTORY from 0.9 (too late)