Minor corrections made