Fix sidebar notation for Galaxy.
Indents in docs.