While human researchers might consider this bug trivial, I still feel happy that it can be discovered and patched automatically :)