Revised the English slightly