Not strictly necessary, but more correct