Fix issue #9 final oops-i-forgot push