Actually fixing #192