fix a really old bug