In my case, this is not a "real police" ticket - not the city, but the internal campus police. So, there is no need to worry and disclose it? By the way, I asked the lady at the Cashier Office where I have just paid for this ticket, whether it is reported to the city police, and she said "No"...