Fix error: end of file