Fix glitch from previous commit