Small improvement of the fix preventing Bootstrap incompatibilities with Prototype