Caught a few annotation bugs and a missing default in time precision