fix another small mistake