A comment on the combination of the implicit function theorem and the Morse lemma