compiles with 8.4pl4, documentation adapted accordingly, closes #17