Fix missing newline in documentation