Yes, that is all quite correct. However, if the High Yellow's coloration was strong, some of the Normal offspring could express a High-yellowish coloration.
In this instance All the babies would be called Normal 50% het Bell Albino because there is no way to look at them and tell which ones are het and which are not.
Check this leopard gecko calculator out http://www.reptilecalculator.com/leopard-gecko-morph-calculator/ it will help answer the "What do I get if I breed ....." questions.