changed comments to be pldoc-compatible