Fix return type info for #433