stable version 1 of extended Restler