Added missing redirect pointed out by Jon Leech.
Merge pull request #528 from kenrussell/idl-redirect

Added missing redirect pointed out by Jon Leech.