Fixed small issue in file server example