correction fluid is often known as Tippex in the UK