Add minor bug fix to arena plugin