Fix typo in Ruben's patch.