Tweaked PHPDoc (more explicit types, less warnings).