BUGFIX: give nonempty specs to create_env