I thought so and put this into a separate commit to easily remove it.