fixed receiver parameter types