this should not be placed in the documentation (or it should be in a comment)