gui option: this fixes slider's weird behavior.