Minor change, annotations added