Ceylondoc: better package navigation #1309 (minor fix)