Minor bug fix to uvix