fixes one final bug from #200 / #217