Merge pull request #1 from ejgallego/master

Add a few annotations reflecting the current label state.
bug in updatedb:
pass on lecture