Sylvia/documentation/small fixes

@mhoeber Please review and merge.