Fixed an internal link to a header that was renamed in 97153bbadcc1a5d1148e1b1f158545b726d2af5a