small fixes to PR