CONSTANT: Adjusted documentation, making it into JavaDoc. Incidently, this constant could use a more descriptive name which better indicates its use.