minor prettification
minor corrections