Steps to reproduce:
- Log in as an advanced user
- Create a terminal document
- Rename/Copy the terminal document by making sure to uncheck the " Copy/Rename as terminal page" option on the target location first.
- Observe that the new document is still a terminal document instead of being non-terminal, as requested by unchecking the checkbox.