+ PORT argument in command line to specify server's port (8000 by default)