Fix undefined variable.

Noticed by Benjamin.