El detallín no es un bug, simplemente es algo que hace que otro algo no se lea demasiado bien. (Parezco Jorge en el concurso de la puñetera flor) Desde el principio llevaba dándole vueltas pero no encontraba donde se modificaba. Hoy por fin lo encontré y lo cambié para la versión VGA que estaba rematando. Pero como la WVGA ya estaba terminada, está sin esa modificación.
Con lo listín que es mi compi, seguro que lo saca

