Fix small bug in pin redirection