added getChildren method; might be useful for debugging