Slightly tighter syntax in OutputGenerator