The fix introduced by 65d736da missed two usages of url() instead of prettyUrl(). Thanks to Kevin Kofler for spotting those. BUG: 319428