Mini-calendar linkCalendar bug

I wanted to confirm a bug with the linkCalendar functionality. It appears to refresh the mini-calendar after events are added or updated but not after deleting. I noticed in the source there is the following line:

scheduler.attachEvent(“onAfterEventDelete”, action);

If I replace it with:

scheduler.attachEvent(“onEventDeleted”, action);

…then the mini-calendar refreshes after deletes. Can you please confirm this is a bug, if so would replacing that line but the correct way of fixing it?

Thanks,
Steven