minor update to REP 132 (#16)
Merge pull request #30 from dirk-thomas/master

minor tweak to REP 132