meh

These look like changes that Philipp wanted anyway.