Minor issues are fixed.