correcting a comment on get_ejsapp_size