Minorstuff

PHPdocs and a fix.