Do the same as dc0242e755cda589efbaa4786a6b43d87c52dcd2 for <pre>