Add forgotten module builtins.misc