Small regul.lib update