Fixed example code in REDAME.