fix (yet) another silly bug