this is a paper bug, but the two things should happen atomically.
this is a paper bug, but the two things should happen atomically.

pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable