fix compilation error, documentation