remove redundant space before the title of tip 42