Committed newer/better patch in r22278... thanks again Adib! Since JazzyNico said it's fixed, I'm closing.
Committed newer/better patch in r22278... thanks again Adib! Since JazzyNico said it's fixed, I'm closing.