Updated for the AccDC Technical Style Guide, which is now released