Do not put DEBUG() guard around error condition; this must *always* be printed.