added slightly more precise comments