Fix spurious commit (trash line removed)