Sandcastle code tweak