trivial change but it can make a difference on some REST endpoint receivers