Supressing unneeded type-safety warnings