Minor change to javadoc header