RPBI: small bug fix introduced in previous commits.