Synced with version 13.000 of `bidi' package