Quick kludge to fix a silly bug