Fixing syntax (pointed out by Wilson).