Minor bug fix for preferences