Minor post-pull tweaks.