Fixes the bug introduced by my earlier fix.