This probably belongs in the javadoc of the class