Fix jdiez's broken syntax

Tests still fail for me locally, though