Fix the glitch mentioned in #12