Trivial fix to avoid adding complexity to the conversion script