A commit to force rdoc.info to rebuild documentation