* AI player - Fixed a problem that AI uses Sphinx of Jwar Isle ability in an endless loop.
Minor formatting.