minor cleanup
Another small cleanup