I've fixed the phpdoc to take this case into account.