I've solved the other issues, but left that one as is; if it is meant to be added to specref, then I'll get rid of it once specref has it :)