fixed double occurrence of @prefix