Add documentation header to silence warnings
karma: don't hardcode users list (???)