tiny sed fix