[FIX-#497]

see https://github.com/seqan/seqan/issues/497