correct documentation of some config elements

Closes #1380