Improve typesetting and translation of IOL 11.