Fix #a in comments