Added javadoc to remind us about this fact