Minor revision to userdata.h