removed/ignored some unchecked casts