Correction on generation of nextval