Some updates to IR specifications