small fixes (obj-editing + std lib)