removed staging annotations from the informal example