Very minor fix

Change-Id: Ie5a0152e091d8330d8d0b3ea75522e767a450ae3