minor change; release 0.8.3