Extend documentation (plus small fix)