fix readlock_spec