Fix the Server BIGTOTON setting allowing for random size above 3