#1270: fix user-ignoring duplicate section

If a user user-ignores a duplicate, non-compulsory section that
has a compulsory option, they will get a "Cannot user-ignore
compulsory settings" error displayed for the section.

This fixes #1270.

@matthewrmshin, please review.