Just a small fixup

Change-Id: I3b149913ea9e71716e772125fe6088bc2e4fd9b4