Fixed a bug in the choreboxization of this project.