Decker's sharper Künneth formula