Added it as a comment to #510