fixing Monodevelop's stupidity