Fix type in header