The main tool in many considerations of actions of amenable groups are quasi-tilings by finitely many sets from the Folner sequence introduced by Ornstein and Weiss many years ago. Since quasi-tilings are not exactly disjoint and cover not exactly the whole group, many technical difficulties arize. In particular, the construction of symbolic extensions using the quasi-tilings seems impossible. In a recent work with Dawid Huczek and Guohua Zhang we managed to improve the quasi-tiling to become genuine tilings. This simplifies (and in many cases makes at all possible) a series of results in the theory of entropy and symbolic extensions for such actions. In the talk I will present precisely how quasi-tilings can be improved to tilings, and survey the related theorems.