Replaced dots with HTMLencoded dots, for better source readability.