abstractions.pulse: bugfix