Merge "docs: Removing spurious heading from Javadoc comment" into rvc-dev