small adjustment to the sizing for #12