Fix type in hammerhead