In the future we should print an error, here.  Don't worry about it for now, though