fix compilation for master (forgot to push something)
vim: minor doc update