Fix bug introduced in 68e354d

It broke puppet on terbium

Change-Id: I6b2ed821d090ef01ec50012567d4855e47cbd6d3