Given accurate probabilities as input, Bayes always gives the best result. That's a theorem. So the fact that this tweak improves the performance probably means that either the english model probabilities are systematically too low, or the translation probabilities are systematically too high. My guess is the latter.