WINTERMUTE: Suppress casting warnings in toString