little fixes in parsing