Reified: some javadoc fixes