To not name them seems like an over optimization as well.  I believe it's fine either way.