Minor formatting fix for devtest.

Change-Id: I7de0e1020406f5ca11743ee2386898bcb15535ae