Move this into the PHPdoc.