Kleinere fixes