Remove redundant tail definition (from e40318d9661c4354367777ca58594736e922cdaf)