ProWeb: Unmarking a Return as Complete