Removed double entry in jamfile and added a missing inf symbol