Very minor change, just for the hell of it