fix bug in #1220
Merge pull request #1235 from dwightguth/fixandrei

fix bug in #1220