Add a FIXME.
Be more defensive when loading a file.