Rename Doc to Doc.php