Minor bug: deleting saved machines