#9: fix javadoc for compatible option
#9: fix javadoc