Fix bug in forward translator

This bug was found during integration testing.