fix an error in the builder