Fix dunderpush