Error reading stdin:
  Unexpected end of file
