A bug in the formating of the help files has been fixed. This bug would cause Magma internal errors on all attempts to use the built-in help. Bug reported by M. Grassl.