src: fix a mistake