don't like double lines before a headline, I removed them from the docs recently