Bug fixes

Corrected previously undiscovered issues triggered by moving the source
code repository.