minor corrections to delete_values()

Done some cosmetics on `delete_values()`.