Editing: NoReturnValue.php