Changed \<end\> to just \<end to be more general