small fix in Swing generator