Minor typos quashed