Is this code correct?