Another place where warnings are due.