one minor correction