Worked around a library problem.