Silencing a warning