Football Quick notes from Texas' Tuesday practice