Fixed the namespace of print-length