Fix up wrong file name

Change-Id: I8d542a8cb8a3dacb2f1cb5f63746d3646c021b42