Reverting Pull #390

This was bug in MonoDevelop... See pull request https://github.com/mono/monodevelop/pull/513