bug fix: end of file