A few small tweaks to the symbolication page.