Fix IDL code, per plinss' suggestions.