Changed file name. Weird bug on gitbook?