Common misconception double tapping isn't against code out right. It is allowed if the connector is listed for it. Off hand I think all Square D breakers are listed for landing two wires. Although those connectors to not look like they are the type that is listed for such use. I left it alone...