removing infilitrated for now, fixes #5