Algebras, modules and the plus construction