Remove some Notle stuff