slight bugfix

Change-Id: I019408925f01c14cc07d049d4867e63fd2bc2919