fix naming to keep arduino IDE happy