Very minor style change to use more arrows