NBC: Grubhub lays off 15% of corporate workforce, or about 400 employees