AESinkPULSE: Make cppcheck more happy