added (non-functional) back-transition