Hi Norman, Thanks for the fix it makes perfect sense. I've reviewed it, adopted the comment atop, and committed it.
-J -- Dr.-Ing. Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608 4056 Fax: +49 (721) 608 7664 http://os.ibds.kit.edu/stoess
