Is this file supposed to be included?