Eric: checked in again
command line push