fix stupidity-induced bug