I think that I fixed all of the things that disappeared with the last commit. If they disappear again, then we have a serious problem.