fix yet another stupid late night editing mistake