Silenced pedantic warnings