Fixes tiny bug