fix

This is a quick note to let you know that we have fixed what was apparently a long-standing issue we weren’t aware of until now.