minor fix to avoid user error leading to wrong deletions