Minor simplification was done.