Some minor trace moves and silk sillyness