Fix for documents affected by #13313