[Console] Another small PHPDocs fix