Extra "push yet" in the end of doc comment