Tiny fix for big bug