diffeq.m: minor and likely inconsequential changes