Minor aliasing bug