perhaps we could print a warning here (to stderr)