Editing: MixedType.php