Minor fixup in Angle