I'd r+, but I'm not sure what this was used for in the first place. Could you explain why this can be removed?