Minor bug fix to REST.