fix type introduced in commit #bbdec95b