Fixes #2339: CTimestampBehavior PHPDoc typos.