Bugfix: some layout issues in documentation