Slight style tweak