whoops, it was an inspectional-registration problem maybe?