If you make the change below, this still works fine (with any necessary name changes, of course.)