Better warning message for #14.