tiny bug fix

Change-Id: I08573707087662d606aa9cdd652b4a656a745f8a