Similar to T4027, this does not need the environments to be added, but just a quick read for typographical adjustments that would have no good impact on our online version.