Remove namespace abbreviations (cf. #27)