Minor PHPDoc tweaks and typecasting…