Fix bugs with back-to-top link in documentation