Minor cosmetics and comments for PUB-756