Fix small bug
fix bug
Merge branch 'master' of https://github.com/tthuem/FeatureIDE
fix bug
fix bug
fix bug
fix bug
fix bug
fix bug
fixing bug
fixing bug