fix a naive mistake