Typed some stuff