Fix rather embarrassing mistake that breaks almost everything