Ensure options header is not confused with a new section

It is still part of installation