another finished resolution

Got a pull request accepted for Hy