Small fix to tip code