Fix suggested by eibanez on May 14.