Fixup: wrong type declaration for preferences