Comments on "On the Definition and Generation of Walsh Functions"

A correction to the Gray code-to-decimal conversion of Davies is given, which follows from Davies' own proof if performed on the level of operations on wave number indices. An alternative proof for Walsh functions as combinations of Rademacher functions is also given, starting from the definition of Walsh-Kaczmarz functions.