Minor style tweak

Change-Id: Iae4d8b05fa11f4d344499f9105ed424c8c346838