minor edits to deadmines