Ideally these wouldn't be hard-coded, in case things change