minor fix in previous issue