Add another 8387 diagnostic