No matter, but thanks for the tip! I suppose that shorter would be the proper term if it were in terms of code length anyway.