re-added defacto_student (fixes #133); fixed plugin id