Spec code reformating