Huh. Found a bug with Marvin. ^ That came after I deleted my question because it had a typo in it.