core.sh: minor comment fix