Adds a bit of proposition gui refinement