Bug fix for previous commit

I somehow checked this into the wrong branch. Sorry.
Fix for relex2logic failure.

Another bugfix that got lost in hyperspace.
got pushed into the wrong branch. Whoops.