Correciones de bugs en estándar IEEE