Fixes #13: preferences page TOC