more specs; fixed minor bug in enumerator for peptides; casting of major query values