We have a 1930's semi and the main bedroom ceiling has nice, neat white embossed wallpaper on the ceiling. However, one corner has had a leak so this needs patching up by a plasterer. Once that has been done, is it ok just to hang lining paper over the whole ceiling or will the embossed paper...