Update file to reflect changes in formalize() api