minor beautification :-)