Clean up on PR code-dot-org#302.