Fix header indentation in the symbol list (Fixes #150)