fix garbage introduced in 09de3d11611103decf93fc0a43bbc6c73341b441