Fix for compatibility

Not sure if this gives the right behaviour, but at least we're rid of an
Inform 6 error.