Small fix for a big bug