fixes for ensure_no_unregistered_superclass