Fixes #3032 - ignore documentation inconsistency option