Add some PHPdoc.