minore bug fixed, revised documentation