Editing: FileStream.php