It probably should be, and it's a simple enough change.  @srinupiits, do you want to make that change and we can get this merged?