Parameter download fix

Just formatting #713.