Update IDE.html

Further IDE fix