Update to version 8.0.20

Closes #847.