Check that the input files exist
Add a bit of extra PHPDoc