the actual bugfix for #80 is this line