fixed some symbols in the empty file