Fix cut'n'paste error

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>