User's guide updated.