Added some comments to double fault code