Improved documentation for `forbidden_view`.