fix a trivial issue