The latest Paranoia does aliasing this way.  I did it because Paranoia had a test failing -- I think this was a bug in our repo that got past Paranoia's testing.  Anyway, this fixes the problem so tests pass.