Fix a previous commit

Thanks to Thomas Arnhold for noticing and reporting

Change-Id: Ia23746b3834b3fb3dbbadfdada96d98958b0e00c