I assume the issue referenced has been properly fixed at some point?