Commit d2828aed authored by Andreas Marek's avatar Andreas Marek

A bit of cleanup

parent b439cf66