Now these will be numeric after moving the notifications property to top-level