fixes a type, removes an unecessary push