fix a tiny problem