bug-fixing: delete