Fix @enforce_sequence (bug 836049)