remove temporary workaround that was forgotten in latest commit