making [regular] more precise
remove type error, added a FIXME