kleine type-fixes (#44)