Revert "Add the back-reference to 11.13 in the occurence where it looks most appropriate"

This reverts commit 921c504b71c7c5838043cf92ed5fa0165591caa9.