It was a typo. Sorry about that Professor Mordochai.

John T.