Fix old algorithm2e command and update manual

Fixes #222 and also fixes use of a deprecated `algorithm2e` command sequence.