fix formatting for push to card code examples