cosmetic changes (and seqanLast did not compile)