fixed a PHPDoc comment
added a type cast