Forgot to mention: why this change? It seems like a no-op. If it's due to a bug, there should be a comment.