fixed pushMany's direction. more doctests