Adds that code from #79.