A fast bug fix