Fix syntax of typedefs