Clarified a few details