waf: correct reference to pulse