Minor fixes to assembly specifications