minor changes;
minor fix;