some minor clarifications; will not hurt