small tex bug