Fix for JGraph bug