Fixed an issue with push_configuration where too much was copied.