Whether or not we merge this, I think there is a bug on line 30, should probably have been `res2` instead of `res1`.