fix "error: no newline at end of file"