Improved documentation in the *Check files.