Small tweaks to navbar preferences link (#38).