Extend documentation, fix a bug