Explaining leak states in the proton pump of heme-copper oxidases observed in single-molecule experiments.