bugfix: removed no-longer-used argument from call to MREAD-OBJ