fix #203

there is probably a better thing to do here