added some more compiler annotations