comment tweak

As suggested by @dmcdougall