This superfluous @hidden edoc tag would exit the edoc application.